منابع مشابه
The Space of Lelek Fans in the Cantor Fan Is Homeomorphic to Hilbert Space
We show that the space of all Lelek fans in a Cantor fan, equipped with the Hausdorff metric, is homeomorphic to the separable Hilbert space. This result is a special case of a general theorem we prove about spaces of upper semicontinuous functions on compact metric spaces that are strongly discontinuous.
متن کاملVariations on the Projective Central Limit Theorem
This expository article states and proves four, concrete, projective, central limit theorems. The results are known or suspected to be true by experts who are familiar with the more general central limit theorem for convex bodies, and related theory. Here we consider only four types of high dimensional geometric objects: spheres, balls, cubes, and boundaries of cubes. Each is capable of transfo...
متن کاملContinuous Fraïssé Conjecture
We will investigate the relation of countable closed linear orderings with respect to continuous monotone embeddability and will show that there are exactly א1 many equivalence classes with respect to this embeddability relation. This is an extension of Laver’s result [Lav71], who considered (plain) embeddability, which yields coarser equivalence classes. Using this result we show that there ar...
متن کاملComputability of Fraïssé limits
Fräıssé studied countable structures S through analysis of the age of S, i.e., the set of all finitely generated substructures of S. We investigate the effectiveness of his analysis, considering effectively presented lists of finitely generated structures and asking when such a list is the age of a computable structure. We focus particularly on the Fräıssé limit. We also show that degree spectr...
متن کاملDirected Reachability: From Ajtai-Fagin to Ehrenfeucht-Fraïssé Games
In 1974 Ronald Fagin proved that properties of structures which are in NP are exactly the same as those expressible by existential second order sentences, that is sentences of the form 9 ~ P, where ~ P is a tuple of relation symbols. and is a rst order formula. Fagin was also the rst to study monadic NP: the class of properties expressible by existential second order sentences where all quantii...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fundamenta Mathematicae
سال: 2015
ISSN: 0016-2736,1730-6329
DOI: 10.4064/fm231-1-4